Step of Proof: sq_stable__and
9,38
postcript
pdf
Inference at
*
1
1
1
I
of proof for Lemma
sq
stable
and
:
1.
P
:
2.
Q
:
3. (
P
)
P
4. (
Q
)
Q
5.
P
Q
P
latex
by ((SquashCD)
CollapseTHEN ((Auto_aux (first_nat 1:n) ((first_nat 1:n),(first_nat 3:n
C
)) (first_tok :t) inil_term)))
latex
C
.
Definitions
t
T
,
True
,
T
,
P
Q
origin